Modelling Mobility with Petri Hypernets
نویسندگان
چکیده
Petri hypernets, a novel framework for modeling mobile agents based on nets-within-nets paradigm is presented. Hypernets employ a local and finitary character of interactions between agents, and provide means for a modular and hierarchical description. They are capable of modelling mobile agents tfrahat can dynamically change their hierarchy, and can communicate with each other and with the outside world by exchanging messages, i.e., other mobile agents.
منابع مشابه
A Class of Hypernets with Token Creation and Decidable Reachability Problem
The formalism of Petri hypernets is extended by allowing creation of unstructured tokens. Any two such tokens are then declared indistinguishable, unless they have different sorts, i.e., colours. Under this assumption it is possible to provide a construction that to each coloured Petri hypernet associates a P/T net with an isomorphic case graph. Hence, the reachability problem for coloured Petr...
متن کاملExpressing and Verifying Temporal and Structural Properties of Mobile Agents
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest—the temporal evolution of agents and their structural correlation. In particular, we investigate how the classes can be combined into a logic capable of expressing the dynamic evolution of the structural correlation. The problem of model ch...
متن کاملVerifying Reference Nets By Means of Hypernets: a Plugin for Renew
In this paper we examine ways to verify reference nets, a class of high level Petri nets supported by the Renew tool. We choose to restrict reference nets to hypernets, another nets-within-nets model more suitable for verification purposes thanks to an expansion toward 1-safe Petri nets. The contribution of the paper is the implementation of such analysis techniques by means of a Renew plugin. ...
متن کاملModeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets
A model of P systems with symport / antiport rules is given in terms of hypernets, a generalization of a class of hierarchical Petri nets introduced for modeling mobility inside the nets-within-nets paradigm. The hierarchical structure of a P system is reflected by the associated hypernet, where molecules are modeled by unstructured agents (simple tokens) and membranes by agents. Each agent is ...
متن کاملHypernets: a Class of Hierarchical Petri Nets
The interest of this thesis is on modeling systems of mobile agents, systems composed of several open and autonomous components which can interact and move inside one or more environments. Several proposal for modeling mobility have been introduced. They can be roughly divided in two categories: Petri net based formalisms, and process algebra based formalisms. In this thesis, Petri net formalis...
متن کامل